The Design and Implementation of Declarative Networks Boon Thau Loo Electrical Engineering and Computer Sciences

Source URL: www.eecs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• Joseph M. Hellerstein
• Datalog
• Ion Stoica
• Scott Shenker
• Logic programming
• Samuel Madden
• Alma-0

Efficient Heap Management for Declarative Data Parallel Programming on Multicores Clemens Grelck1,2 and Sven-Bodo Scholz1 1 University of Hertfordshire

Source URL: clip.dia.fi.upm.es

A Lazy Narrowing Calculus for Declarative Constraint ∗ Programming F. J. Lopez-Fraguas ´

Source URL: gpd.sip.ucm.es

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex Alan Jeffrey, University of Sussex and DePaul University COGS, University of Sussex Brighton BN1 9QH, UK CTI, DePaul Univ

Source URL: ect.bell-labs.com

• Software engineering
• Declarative programming
• Lambda calculus
• Computer programming
• Functions and mappings
• Subroutines
• Functional programming
• Charts
• Graph of a function
• Closure
• Function
• Lambda lifting

PDF Document

Source URL: www.eis.mdx.ac.uk

• Software engineering
• Computer programming
• Declarative programming
• Recursion
• Theoretical computer science
• Functional programming
• Category theory
• Subroutines
• Corecursion
• Fold
• Coinduction
• Tail call

Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan ∗ Gowtham Kaki

Source URL: gowthamk.github.io

Declarative Programming with Real Constraints 1 T. Hortala-Gonzalez, F. J. Lopez-Fraguas, J. Sanchez-Hern andez, E. Ull an-Hernandez

Source URL: gpd.sip.ucm.es

DAMP 2008: Workshop on Declarative Aspects of Multicore Programming January 9, 2008 San Francisco, CA, USA (co-located with POPLSubmission deadline: October 26, 2007

Source URL: www.cliplab.org